/* SPDX-License-Identifier: GPL-2.0-only */
#include <../include/linux/time64.h>

time64_t ktime_get_seconds(void)
{
	return 0;
}
